Modelling declassification policies using abstract domain completeness
نویسندگان
چکیده
منابع مشابه
Modelling declassification policies using abstract domain completeness
Domain Completeness Isabella Mastroeni and Anindya Banerjee a Università di Verona, Verona, Italy e-mail:[email protected] b IMDEA Software Institute, Madrid, Spain e-mail: [email protected] Received 13 October 2010 This paper explores a three dimensional characterization of a declassification-based noninterference policy and its consequences. Two of the dimensions consist in...
متن کاملCompleteness in Abstract Interpretation: A Domain Perspective
Completeness in abstract interpretation is an ideal and rare situation where the abstract semantics is able to take full advantage of the power of representation of the underlying abstract domain. In this paper, we develop an algebraic theory of completeness in abstract interpretation. We show that completeness is an abstract domain property and we prove that there always exist both the greates...
متن کاملInference of Usable Declassification Policies
We explore the inference of fine-grained human readable declassification policies as a step towards providing security guarantees that are proportional to a programmer’s effort: the programmer should receive weak (but sound) security guarantees for little effort, and stronger guarantees for more effort. We present declassification policies that can specify what information is released under wha...
متن کاملChecking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce interaction-based declassification policies, in which the user’s interactions with the app constrain the release of sensitive information. Our policies are defined extensional...
متن کاملAbstract Completeness
Completeness Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2011
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s096012951100020x